таблица подбора диаметра - traducción al francés
![Ю.П. Спегальскому]] в [[Псков]]е.](https://commons.wikimedia.org/wiki/Special:FilePath/Памятная доска Ю.П. Спегальскому.jpg?width=200 "Ю.П. Спегальскому]] в [[Псков]]е.")
![«Всем, пожертвовавшим своё время на спасение виртуального мира», [[Рига]].](https://commons.wikimedia.org/wiki/Special:FilePath/Lastadija.jpg?width=200 "«Всем, пожертвовавшим своё время на спасение виртуального мира», [[Рига]].")
![матери Марии (Скобцовой)]] в [[Санкт-Петербург]]е.](https://commons.wikimedia.org/wiki/Special:FilePath/Maria Skobtsova Commemorative Plaque (Saint Petersburg) 19Jun10.JPG?width=200 "матери Марии (Скобцовой)]] в [[Санкт-Петербург]]е.")
![45-й пехотной дивизии]].](https://commons.wikimedia.org/wiki/Special:FilePath/Mem doska PMV Penza.jpg?width=200 "45-й пехотной дивизии]].")
![Адольфасу Раманаускасу]].](https://commons.wikimedia.org/wiki/Special:FilePath/Panevėžys, Ramanauskas-Vanagas.JPG?width=200 "Адольфасу Раманаускасу]].")
![советской власти]].](https://commons.wikimedia.org/wiki/Special:FilePath/Zhelvatych - memory sign.jpg?width=200 "советской власти]].")
![Ростове-на-Дону]], посвящённые улицам города](https://commons.wikimedia.org/wiki/Special:FilePath/РНД-Подтёлков-Мемо.jpg?width=200 "Ростове-на-Дону]], посвящённые улицам города")
![Мемориальная доска бронепоездам на здании вокзала станции [[Пермь II]].](https://commons.wikimedia.org/wiki/Special:FilePath/Мемдоска бронепоездам Пермь 2.JPG?width=200 "Мемориальная доска бронепоездам на здании вокзала станции [[Пермь II]].")
Definición
Wikipedia
Принцип Маркова — один из основных принципов логики конструктивной математики, сформулированный в начале 1950-х годов Андреем Андреевичем Марковым (младшим). Известен также под названиями «ленинградский принцип» и «принцип конструктивного подбора». Представляет собой ослабленный вариант закона двойного отрицания.
Формулировка принципа состоит в следующем:
Способ построения искомого числа состоит в последовательном переборе натуральных чисел, начиная с нуля, причём на каждом шаге процесса посредством алгоритма устанавливается, обладает ли рассматриваемое число свойством .
С использованием формальных языков конструктивной математической логики (например, ступенчатой семантической системы Маркова) принцип Маркова записывается следующим образом:
- .
